k:Knd. islocal(k)  act(k)  Id 

latex

Definitions	Knd, islocal(k), act(k), outr(x), P  Q, b, b, isl(x), x:A. B(x), IdLnk, t  T, Id
Lemmas	Id wf, IdLnk wf, isl wf, bnot wf, assert wf, outr wf